161. Simulation of materials processing : theory, methods and applications: Proceedings of the Sixth International Conference on Numerical Methods in Industrial Forming Processes , Enschede/Netherlands, 22-25 June 1998
پدیدآورنده : edited by J. Huetink, F.R.T. Baaijens
کتابخانه: (طهران)
موضوع : Metal-work Mathematical models -- Congresses, Polymers Mathematical models -- Congresses, Numerical calculations Congresses
رده :
TJ
1189
.
N9715
1998
162. Simulation of materials processing: theory, methods and applications: proceedings of the Seventh International Conference on Numerical Methods in Industrial Forming Processes--NUMIFORM '2001, Toyohashi, Japan, 18-20 June 2001
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Metal-work-- Mathematical models,Congresses ، Numerical calculations,Congresses ، Polymers-- Mathematical models
رده :
TS
205
.
I57
2001
163. Simulation of materials processing: theory, methods and applications: proceedings of the Sixth International Conference on Numerical Methods in Industrial Forming Processes - Numiform'98 Enschede/ Netherlands/ 22-25 June 1998
پدیدآورنده : edited by J. Huetink, F.P.T. Baaijens
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical models - Congresses ، Metal-work,Mathematical models - Congresses ، Polymers,Mathematical models - Congresses ، Numerical calculations
رده :
TA
200
.
I57
1998
164. Simulation of materials processing: theory, methods and applications: proceedings of the Sixth International Conference on Numerical Methods in Industrial Forming Processes--NUMIFORM '98, Enschede/Netherlands/22-25 June 1998
پدیدآورنده : International Conference on Numerical Methods in Industrial Forming Processes )6th : 8991 : Enschede, Netherlands(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Metal-work -- Mathematical models,Congresses ، Polymers -- Mathematical models,Congresses ، Numerical calculations
رده :
TS
205
.
I57
165. Simulation of materials processing : theory, methods and applications : proceedings of the fifth International Conference on Numerical Methods in Industrial Forming Processes
پدیدآورنده : edited by Shan-Fu Shen & Paul R. Dawson
کتابخانه: (طهران)
موضوع : Metal-work Mathematical models -- Congresses, Polymers Mathematical models -- Congresse, Numerical calculations Congresse
رده :
TJ
1189
.
N9715
1995
166. Simulation of materials processing: theory, methods and applications: proceedings of the 7th International Conference on Numerical Methods in Industrial Forming Processes - Numiform 2001/ Toyohashi/ Japan/ 18-20 June 2001
پدیدآورنده : edited by Ken-ichiro Mori
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical models -- Congresses ، Metal-work,Mathematical models -- Congresses ، Polymers,Congresses ، Numerical calculations
رده :
TS
200
.
N85
2001
167. Simulation of materials processing: theory, methods and applications: proceedings of the Sixth International Conference on Numerical Methods in Industrial Forming Processes--NUMIFORM '98, Enschede/Netherlands/22-25 June 1998
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Metal-work-- Mathematical models,Congresses ، Polymers-- Mathematical models,Congresses ، Numerical calculations
رده :
TS
205
.
I57
1998
168. Simulation:principles & methods
پدیدآورنده : GRAYBEAL,WAYNE J
کتابخانه: (طهران)
موضوع : DIGITAL COMPUTER SIMULATION
رده :
T
57
.
62
.
G7
169. Symbolic Simulation Methods for Industrial Formal Verification
پدیدآورنده : by Robert B. Jones.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Electronic data processing.,Engineering.,Systems engineering.
170. Symbolic simulation methods for industrial formal verification
پدیدآورنده : / Robert B. Jones
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (طهران)
موضوع : Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Formal methods (computer science)
رده :
TK
7874
.
75
.
J66
2002
171. Systems simulation : methods and applications
پدیدآورنده : Colella, A. M.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer simulation,، Systems engineering
رده :
TA
343
.
C64
1974
172. Systems simulation; methods and applications
پدیدآورنده : Colella, A. M
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer simulation,، Systems engineering
رده :
TA
343
.
C64
173. Systems simulation: methods and applicatios
پدیدآورنده : / A. M. Colella, M. J. O'Sullivan, D. J. Carlino
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Computer somulation,Systems engineering
رده :
620
.
72
Co-S
174. Theory and Simulation Methods for Electronic and Phononic Transport in Thermoelectric Materials
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Optical materials. ; Electronic materials. ; Physics. ; Thermodynamics. ;
175. Traffic Simulation and Data: Validation Methods and Applications
پدیدآورنده : / Edi ted by WINNIE DAAMEN
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع :
176. Traffic Simulation and Data: Validation Methods and Applications
پدیدآورنده : / Daamen, Winnie
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING, CIVIL|TRANSPORTATION
رده :
E-BOOK
177. Traffic simulation and data: validation methods and applications
پدیدآورنده : edited by Winnie Daamen, Christine Buisson, Serge P. Hoogendoorn
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Simulation methods ، Traffic flow,Simulation methods ، Traffic engineering,Simulation methods - Calibration ، Traffic engineering
رده :
HE
336
.
T7
T71
2015
178. Unified methods for VLSI simulation and test generation
پدیدآورنده : by Kwang-Ting Cheng and Vishwani D. Agrawal
موضوع : Integrated circuits- Very large scale integration- Computer-aided design,Integrated circuits- Very large scale integration- Testing,Integrated circuits- Very large scale integration- Computer simulation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
179. Unitied methods for VLSI simulation and test generation
پدیدآورنده : / by Kwang - Ting Cheng and Vishwani D. Agrawal,Cheng
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Integrated Circuits -- Very large scale integration -- Design and construction --,Computer - aided design,Integrated Circuits -- Large scale integration -- Testing,Integrated Circuits -- Vey large scale integation -- Computer simulation
رده :
TK
7874
.
C525
1989
180. Wave and scattering methods for numerical simulation /
پدیدآورنده : / stefan D. Bilbao
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (طهران)
موضوع : Electric filters, Wave-guide.,Electric filters, Digital.,Simulation methods.
رده :
TK
7872
.
F5
B535
2004